H. Richards
- Turner, D. A. "SASL Language Manual". Computer Laboratory, University of Kent, Canterbury, U.K., 1976 (revised 1979).Google Scholar
- Turner, D. A. "Functional Programming and Proofs of Program Correctness." In Neel (ed.),
Tools and Notions for Program Construction . Cambridge: Cambridge University Press, 1982.Google Scholar - Turner, D. A. "KRC Language Manual". In preparation.Google Scholar
Comments