TAPSOFT '93. Theory and practice of software development : Proceedings, Orsay, France, April 13 - 17, 1993 - Guttag, John V. (Lecture notes in computer science, 1993)