Media type: E-Article Title: Formal Program Development: Introduction Contributor: Möller, Bernhard; Partsch, Helmut A.; Schuman, Stephen A. imprint: Springer Berlin Heidelberg, 1993 Published in: Formal Program Development Language: Not determined DOI: 10.1007/3-540-57499-9_14 ISSN: 1611-3349; 0302-9743 Origination: Footnote: