Computer Languages 16(2)

Computer Languages, Elsevier 1976 -  

Berzins, V. (1991). (1991) Berzins, V. (1991). "Black-box specification in Spec."