1. Andréka, H. and Németi, I., Completeness of Floyd Logic. Bulletin of Section of Logic 7(1978), 115–121, Wrocław.
2. Andréka, H. and Németi, I., A characterization of Floyd provable programs. Submitted to Proc.Coll.Logic in Programming, Salgótarján 1978. Coll.Math.Soc.J.Bolyai, North Holland.
3. Andréka, H. and Németi, I., Classical many-sorted model theory to turn negative results on program schemes to positive. Preprint 1978.
4. Andréka, H., Németi, I., and Sain, I., Abstract model theory, semantics, logics. Preprint 1979.
5. Chang, C.C. and Keisler, H.J., Model Theory. North Holland, 1973.