Stepwise Specification and Implementation of Abstract Data Types

Hartmut Ehrig, Hans-Jörg Kreowski, Peter Padawitz. Stepwise Specification and Implementation of Abstract Data Types. In Giorgio Ausiello, Corrado Böhm, editors, Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Volume 62 of Lecture Notes in Computer Science, pages 205-226, Springer, 1978.

Authors

Hartmut Ehrig

This author has not been identified. Look up 'Hartmut Ehrig' in Google

Hans-Jörg Kreowski

This author has not been identified. Look up 'Hans-Jörg Kreowski' in Google

Peter Padawitz

This author has not been identified. Look up 'Peter Padawitz' in Google