Thomas W. G. Docker SAME - A Structured Analysis Tool and its Implementation in Prolog. 82-95 1988 ICLP/SLP db/conf/iclp/iclp88.html#Docker88