Lano, R. J. A Technique for Software and Systerns Design ( TRW Series on Software Engi eeriag). Amsterdam. The Netherlands: North-Holland, 1979
(1979)
Languages mentioned
STATEMATE
{1998}