3 works on record
Einführung in die Informatik
Equational completion by proof transformation
Mathematik Für Informatik und BioInformatik