@inproceedings{Fi1972,
   author = {M. J. Fischer},
   title = {Lambda calculus schemata},
   booktitle = {Proceedings of ACM Conference on Proving Assertions about Programs},
   year = {1972},
   category = {conference},
   format = {pdf},
   location = {file},
}