A quick overview of Larch/C (1994)

by Y Cheon, G T Leavens
Venue:Journal of Object{ Oriented Programming