Ehrig, Hartmut; Mahr, Bernd; Cornelius, Felix; Große-Rhode, Martin; Zeitz, Philip Mathematically structural foundations of computer science. 2. Aufl. (Mathematisch-strukturelle Grundlagen der Informatik.) (German) Zbl 0967.68001 Berlin: Springer. xxi, 621 S. (2001). MSC: 68-01 68Q60 68R99 03B05 68Q65 03B10 18-01 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Mathematisch-strukturelle Grundlagen der Informatik. 2. Aufl. Berlin: Springer (2001; Zbl 0967.68001)
Ehrig, Hartmut; Mahr, Bernd; Cornelius, Felix; Große-Rhode, Martin; Zeitz, Philip Mathematically structural foundations of computer science. (Mathematisch-strukturelle Grundlagen der Informatik.) (German) Zbl 0916.68125 Berlin: Springer. xix, 534 S. (1999). Reviewer: J.Desel (Karlsruhe) MSC: 68R99 68-01 03B05 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Mathematisch-strukturelle Grundlagen der Informatik. Berlin: Springer (1999; Zbl 0916.68125)