TY - BOOK AU - Goble, Terry TI - Structured systems analysis through Prolog U1 - 006.33 G535S ER -