1-2 of 2 Books
Estelle, LOTOS und SDL
By Friedrich Vogt,Dieter Hogrefe
Formal methods and object technology
By Stephen J. Goldsack