Developing algebraic specifications of threaded data structure implementations

Alfred Laut. Developing algebraic specifications of threaded data structure implementations. In Gerhard Goos, editor, Werkzeuge der Programmiertechnik, GI-Arbeitstagung, Karlsruhe, 16.-17. März 1981, Proceedings. Volume 43 of Informatik-Fachberichte, pages 28-40, Springer, 1981.

Abstract

Abstract is missing.