Hans Langmaack, Ernst-Rüdiger Olderog. Present-Day Hoare-Like Systems for Programming Languages with Procedures: Power, Limits and most Likely Expressions. In J. W. de Bakker, Jan van Leeuwen, editors, Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings. Volume 85 of Lecture Notes in Computer Science, pages 363-373, Springer, 1980.
Abstract is missing.