Steven M. German. Semantics and Reasoning with Free Procedures. Theoretical Computer Science, 97(1):67-81, 1992.
@article{German92:0, title = {Semantics and Reasoning with Free Procedures}, author = {Steven M. German}, year = {1992}, tags = {semantics}, researchr = {https://researchr.org/publication/German92%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {97}, number = {1}, pages = {67-81}, }