Bibliography to Specification Languages 6

17, no 3, 1991, pp. 212-225.