On the programs-as-formulas interpretation of parallel programs in peano arithmetic. - E. J. Farkas; Manfred E. Szabo (Ann. Pure Appl. Log., 1988)

A faithful embedding of parallel computations in star-finite models. - E. J. Farkas (Stud Logica, 1988)

A Probabilistic Analysis of Loop Programs. - Manfred E. Szabo; E. J. Farkas (Comput. Lang., 1989)