4 works on record
Fundamentals of software engineering
1991
Advances in object-oriented software engineering
Formal methods for real-time computing
Theoretical foundations of computer science
