Kozen, Dexter,.Mathematics of program construction : 7th international conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004 : proceedings /.Springer,,c2004..
Ed. by R. R. Dexter and J. Singer.Inernational Council of the Aeronautical Sciences ( 9th : 1974 : Haifa )：ICAS proceedings of the 9th Congress.Weizmann Science Pr. of Islael,1974.
Ed. by R. R. Dexter and J. Singer.International Council of the Aeronautical Sciences ( 9th : 1974 : Haifa )：ICAS proceedings of the 9th Congress.Weizmann Science Pr. of Islael,1974.
Ed. by R. R. Dexter and J. J. Green.Congress of the International Council of the Aeronautical Sciences ( 10th : 1976 : Ottawa, Ontario, Canada )：ICAS Proceedings 1976.s. n.],1976?.
