A Larch specification of the library problem

1982-12-01T00:00:00Z (GMT) by Jeannette Marie Wing
Computer Science Department