Structured specification - Cayetano, Andre S.; Dimayuga, Rafael Jose V.; Pabia, Steve Caesar R.; Wong, Peter C., Jr (College of Engineering, 1990)