Egon__Borger
A Programmer Friendly Modular Definition of the Semantics of java
Integrating ASMs into the software development life cycle
Modelling and analysis of distributed and reactive systems using Evolving Algebras
The semantics of behavioral VHDL'93 descriptions