A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I.

Hajnal Andréka István Németi Ildikó Sain A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I. 193-212 1982 17 Theor. Comput. Sci. db/journals/tcs/tcs17.html#AndrekaNS82