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

(1991) Computer Languages 16(2)  

Languages mentioned Spec {1990}