Mark Moriconi, Richard L. Schwartz. Automatic Construction of Verification Condition Generators From Hoare Logics. In Shimon Even, Oded Kariv, editors, Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Volume 115 of Lecture Notes in Computer Science, pages 363-377, Springer, 1981.
Abstract is missing.