Title: Formal foundations for software engineering methods
First published: 1997
Subjects: Software engineering
LC classification: QA76.758 .H87 1997