Guy Leduc
-
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development