London [u.a.]: McGraw-Hill, 1992

Cambridge, Mass. [u.a.]: MIT Press, 2008

Cambridge [u.a.]: Cambridge Univ. Press, 2008

Harlow; Munich [u.a.]: Pearson, 2007

Cambridge. Mass. [u.a.]: MIT Press, 2005

New York [u.a.]: ACM Press [u.a.], 2002 ; Boston; Munich [u.a.]: Addison-Wesley, 2002

Oxford [u.a.]: Oxford University Press, 2006

Tübingen: Niemeyer, 1990

München [u.a.]: Oldenbourg, 1990

Dordrecht; Heidelberg [u.a.]: Springer, 2009

Cambridge [u.a.]: Cambridge University Press, 2008

Boca Raton, Fla. [u.a.]: CRC Press, 2009

Boca Raton, Fla. [u.a.]: CRC Press, 2009

Harlow, England; Munich [u.a.]: Pearson, 2004

Cambridge, Mass.; London: MIT Press, 2004

Exeter [u.a.]: Intellect, 1999

Berlin; Boston: De Gruyter Oldenbourg, [2017]

San Francisco, Calif. [u.a.]: Morgan Kaufmann, 2004

San Francisco, Calif. [u.a.]: Kaufmann, 2000

Cambridge; New York, NY; Port Melbourne; New Delhi; Singapore: Cambridge University Press, 2018