BUILD: a tool for maintaining consistency in modular systems (1985)

by Richard E Robbins
Venue:AI Memo 874, MIT AI Laboratory