Editorial
Automated Software Engineering : Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop)
Logic of Change : Semantics of Object Systems with Active Relations
Automating Support for Software Evolution in UML
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
Three Books for a Desert Island