David A. Basin and Bernd Krieg-Brückner: Formalization of the Development Process. (1999)series/ifip/BasinK9910.1007/978-3-642-59851-7_14Formalization of the Development Process.2David A. Basin1Bernd Krieg-Brückner2521-562Algebraic Foundations of Systems SpecificationAlgebraic Foundations of Systems Specification1999provenance information for RDF data of dblp record 'series/ifip/BasinK99'2017-05-16T14:24:23+0200