Berzins, V. et al "An Introduction to the Specification Language Spec"
(1990)
(1990)
IEEE Software 7(02) March 1990
Languages mentioned
Spec
{1990}