Neil L. White Tim McMillan 521-533 1988 conf/issac/1988 ISSAC db/conf/issac/issac88.html#WhiteM88