Guttag J. V. and J. J. Horning. A Larch Shared Language Handbook. Science of Computer Programming, 6(2):135-158, 1986
(1986)
Languages mentioned
Larch
{1985}