Media type: E-Article Title: Algebraic Methodology and Software Technology: A Science of Software Design Contributor: Batory, Don imprint: Springer Berlin Heidelberg, 2004 Published in: Algebraic Methodology and Software Technology Language: Not determined DOI: 10.1007/978-3-540-27815-3_2 ISSN: 1611-3349; 0302-9743 Origination: Footnote: