Jones C.B. and Bjorner, D.- Formal Specification and Software Development- Prentice Hall 1982
(1982)
Languages mentioned
SDL
{1988} Specification and Description Language