Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1982. “A Complete Logic for Reasoning about Programs Via Nonstandard Model Theory I.”Theoretical Computer Science 17: 192–212.
Andréka, Hajnal, Duntsch, Ivo and Németi, István. 1995. “Expressibility of Properties of Relations.”The Journal of Symbolic Logic 60: 970–991.