Using the State Delta Verification System (SDVS) for Hardware Verification. - Beth Levy; Ivan Filippenko; Leo Marcus; Telis Menas (TPCD, 1992)

Domains for Logic Programming. - Ivan Filippenko; F. Lockwood Morris (Theor. Comput. Sci., 1992)