IEEE Software 7(02) March 1990

• Berzins, V. et al (1990) Berzins, V. et al "An Introduction to the Specification Language Spec"