Towards a Semantic Theory of CML (1995)

by W Ferreira, M Hennessy