Guttag J. V. and J. J. Horning. Report on the Larch shared language. Science of Computer Programming, 6(2):103-134, 1986.
(1986)
Languages mentioned
Larch
{1985}