Computer-Aided Specification Techniques - Demetrovics J, Knuth Elod & Rado Peter (World Scientific, 1986)
Keywords: Computer Science