Allen L. Ambler. GYPSY: A Language for Specification and Implementation of Verifiable Programs. In Language Design for Reliable Software. pages 1-10, 1977.
@inproceedings{Ambler77, title = {GYPSY: A Language for Specification and Implementation of Verifiable Programs}, author = {Allen L. Ambler}, year = {1977}, tags = {programming languages}, researchr = {https://researchr.org/publication/Ambler77}, cites = {0}, citedby = {0}, pages = {1-10}, booktitle = {Language Design for Reliable Software}, }