John Mitchell 1 Inf. Comput. May 1993 104 1 db/journals/iandc/iandc104.html#Mitchell93