MELLOR,STEPHEN J, WARD,PAUL T STRUCTURED DEVELOPMENT FOR REAL TIME SYSTEMS,VOL.3 - 1 - NEW YORK YP 1986 - 184 ISBN: ERNET 27.5 Dewey Class. No.: 658