A Larch Shared Language Handbook (1986)

by J V Guttag, J J Horning
Venue:Science of Computer Programming 6:2