Maurice Naftalin. Formal Derivation Made Easy. In Proceedings of the 3rd Annual Workshop of the Psychology of Programming Interest Group, PPIG 1991, Hudderfield, UK, January 3-5, 1991. pages 3, Psychology of Programming Interest Group, 1991. [doi]
@inproceedings{Naftalin91,
title = {Formal Derivation Made Easy},
author = {Maurice Naftalin},
year = {1991},
url = {http://ppig.org/library/paper/formal-derivation-made-easy},
researchr = {https://researchr.org/publication/Naftalin91},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {Proceedings of the 3rd Annual Workshop of the Psychology of Programming Interest Group, PPIG 1991, Hudderfield, UK, January 3-5, 1991},
publisher = {Psychology of Programming Interest Group},
}