J. Craig Cleaveland

Mathematical specifications

J. Craig Cleaveland, J. Craig Cleaveland, 1980, SIGP.

Programming languages considered as abstract data types

J. Craig Cleaveland, J. C. Cleaveland, 1980, ACM '80.

Building application generators

J. Craig Cleaveland, J. C. Cleaveland, 1988, IEEE Software.

An introduction to data types

J. Craig Cleaveland, J. Craig Cleaveland, J. C. Cleaveland, 1986 .

Tools for building application generators

Chandra M. R. Kintala, J. Craig Cleaveland, 1988, AT&T Technical Journal.