I. J. Heath

Omitting the replacement schema in recursive arithmetic

I. J. Heath, 1967, Notre Dame J. Formal Log..

Unacceptable file operations in a relational data base

I. J. Heath, 1971, SIGFIDET '71.