External Links

Journal: Science of Computer Programming

Volume 2, Issue 1

1 -- 18Christian Lengauer, Eric C. R. Hehner. A Methodology for Programming with Concurrency: An Informal Presentation
19 -- 52Christian Lengauer. A Methodology for Programming with Concurrency: The Formalism
53 -- 68John V. Guttag, James J. Horning, Jeannette M. Wing. Some Notes on Putting Formal Specifications to Productive Use
69 -- 81Stephan Heilbrunner, Werner Pohlmann. A Technique for Recursion Removal Based on String Homomorphisms
runs on