Media type: E-Article Title: Gl-4.Jahrestagung: The D-calculus: A system to describe the semantics of programs involving complex data types Contributor: Raulefs, Peter imprint: Springer Berlin Heidelberg, 1975 Published in: Gl-4.Jahrestagung Language: Not determined DOI: 10.1007/3-540-07141-5_217 ISSN: 0302-9743; 1611-3349 Origination: Footnote: