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