Paul Pritchard. Program Proving-Expression Languages. In IFIP Congress. pages 727-731, 1977.
@inproceedings{Pritchard77,
title = {Program Proving-Expression Languages},
author = {Paul Pritchard},
year = {1977},
tags = {programming languages},
researchr = {https://researchr.org/publication/Pritchard77},
cites = {0},
citedby = {0},
pages = {727-731},
booktitle = {IFIP Congress},
}