2 books • 1 series
Handbook of Logic in Computer Science
Specification of Computer Programmes (International Computer Science)