M. B. Gokhale. Algorithm specification in a very high level language. In Stephen A. Szygenda, editor, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow. pages 73-79, ACM, 1987. [doi]
@inproceedings{Gokhale87-0, title = {Algorithm specification in a very high level language}, author = {M. B. Gokhale}, year = {1987}, url = {http://dl.acm.org/citation.cfm?id=42053}, researchr = {https://researchr.org/publication/Gokhale87-0}, cites = {0}, citedby = {0}, pages = {73-79}, booktitle = {Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow}, editor = {Stephen A. Szygenda}, publisher = {ACM}, isbn = {0-8186-0811-0}, }