@inproceedings{GG-1978-Staples,
author = "John Staples",
booktitle = "{Proceedings of the First International Workshop on Graph-Grammars and Their Application to Computer Science and Biology}",
doi = "10.1007/BFb0025740",
editor = "Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg",
isbn = "3-540-09525-X",
pages = "440--455",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal}",
volume = 73,
year = 1978,
}
Tags: