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