3 books • 2 series
Specification of Computer Programmes (International Computer Science)
Turski Computer Programming Methodology
Datenstrukturen (Elektronisches Rechnen Und Regeln, #21)