Some remarks concerning correct specification and implementation of abstract data types - Ehrig, Hartmut 1944-2016; Kreowski, Hans-Jörg; Padawitz, Peter (1977)
Keywords: Datenstruktur; Implementierung -- Informatik