A Combinatorial Property of p kappa lambda. - Telis Menas (J. Symb. Log., 1976)

Safety via State Transition Language Plus Invariants. - Leo Marcus; Telis Menas (CSFW, 1989)

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

Expressibility of Output Equals Input. - Leo Marcus; Telis Menas (Acta Informatica, 1992)