3 works on record
Business process management
Recent trends in algebraic development techniques
Formal Aspects of Component Software