Berlin; Heidelberg [u.a.]: Springer, 1997

London: Springer, 2008

New York, NY: Springer, 2007

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2006

Boston, Mass.; Munich [u.a.]: Addison-Wesley, 2005

Boston; Munich [u.a.]: Addison-Wesley, 2004

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

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

Hamburg: Behr' s Verlag, 2019

San Jose, CA: Doulos, Juli 2016

New York, NY: Springer, c 2008

München; Wien: Hanser, 2002

Ulm: Univ., Fak. für Informatik, 1995

1996

Ulm: Univ., Fak. für Informatik, 1996

London [u.a.]: Routledge, 1995

1988

Englewood Cliffs, N.J. [u.a.]: Prentice-Hall International, 1980

Berlin; Heidelberg [u.a.]: Springer, 2007

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