John C. Mitchell 211-249 Inf. Comput. February/March 1988 76 2/3 db/journals/iandc/iandc76.html#Mitchell88