BibTeX-Format:
@article{ typ = {article}, pages = {163-181}, author = {Penner, Zvi