References

AM91

A.W. Appel and D.B. MacQueen. Stardard ML of New Jersey. Lecture Notes in Computer Science 528. 1991.

ASU88

A.V. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techinques, and Tools. Springer Verlag, 1988.

Cot82

J.Y. Cotronis. Programming and Verifying Asynchronous Systems. PhD thesis, University of Newcastle upon Tyne, 1982.

Ham83

B.C. Hamshere. A Computer Based Environment for the Design and Analysis of Concurrent Systems: SIMULA Implementation of the COSY Notation. In 11th Annual Conf. of SIMULA Users, Paris, 1983.

Har89

R. Harper. Introduction to Stardard ML. 1989.

Har93

R. Harper. Stardard ML of New Jersey: User's Guide. Version 0.93. AT&T Bell Laboratories, 1993.

JL92

R. Janicki and P.E. Lauer. Specification and Analysis of Concurrent Systems - The COSY Approach. Springer Verlag, 1992.

Mil86a

M. Milanetti. A Prototype of the COSY Environment Ported to UNIX: Details of Porting. Technical Report ASM/136, Dept. of Computer Science and Systems, McMaster University, 1986.

Mil86b

M. Milanetti. A Prototype of the COSY Environment Ported to UNIX: Users Manual. Technical Report ASM/135, Dept. of Computer Science and Systems, McMaster University, 1986.

Mil86c

M. Milanetti. Project to Port the COSY Environment to UNIX: Final Report. Technical Report ASM/137, Dept. of Computer Science and Systems, McMaster University, 1986.

Oke91

S.J. Okech. BCS: A Computer Based Tool for the Design and Analysis of Concurrent Systems Specified in the Basic COSY Notation - Implementation. Master's thesis, McMaster University, 1991. 313pp.

Rea89

C. Reade. Elements of Functional Programming. Addison-Wesley, 1989.

Set89

R. Sethi. Programming Languages: Concepts and Constructs. Addison-Wesley, 1989.

Tof89

M. Tofte. Four Lectures on Standard ML. University of Edinburgh, 1989.

Won85a

P. Wong. Further Examples of Macro Expansions. Technical Report ASM/133, Computing Laboratory, University of Newcastle upon Tyne, 1985.

Won85b

P. Wong. Project on the Realization of a High-Level Formalism in a Computer Based Environment for Designing Distributed Systems: Final Report. Technical Report ASM/132, Computing Laboratory, University of Newcastle upon Tyne, 1985.

Won85c

P. Wong. Realization of a High-Level Formalism in a Computer Based Environment for Designing Distributed Systems: SIMULA Inplementation of the General Macro COSY Notation. Technical Report ASM/130, Computing Laboratory, University of Newcastle upon Tyne, 1985.

Won85d

P. Wong. Users Introduction to CS: The Compiler and Expander for General Macro COSY Notation. Technical Report ASM/131, Computing Laboratory, University of Newcastle upon Tyne, 1985.