Terwilliger, Robert B. and Campbell, Roy H. "ENCOMPASS: a SAGA based environment for the composition of programs and specifications"
Proceedings of the 1986 ACM fourteenth annual ACM Annual Computer Science Conference Cincinnati, Ohio, 1986 p470 (1986) |
|