Engineering theories of software construction. : NATO Advanced Study Institute on engineering theories of software construction : 21st international summer school on engineering theories of software construction : Jul 2000, Marktoberdorf, Germany.
(NATO Science Series. Series III, Computer and Systems Sciences ; 180)