Alain Ah-kee. Proof Obligations for Blocks and Procedures. Formal Asp. Comput., 2(4):312-330, 1990.
@article{Ah-kee90, title = {Proof Obligations for Blocks and Procedures}, author = {Alain Ah-kee}, year = {1990}, researchr = {https://researchr.org/publication/Ah-kee90}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {2}, number = {4}, pages = {312-330}, }