Feijs L. M. and H. Jonkers. Formal Specification and Design, volume 35 of Cambridge tracts in theoretical computer science. Cambridge Univ. Press, 1992
(1992)
Languages mentioned
COLD-K
{1989}