Peter W. O'Hearn Jon G. Riecke 107-116 Inf. Comput. July 1995 120 1 db/journals/iandc/iandc120.html#OHearnR95