Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog. Modular Verification of Recursive Programs. In Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner, editors, Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Volume 5533 of Lecture Notes in Computer Science, pages 1-21, Springer, 2009. [doi]
Abstract is missing.