Computer-Aided Specification Techniques door E. Knuth & J. Demetrovics