Computer aided specification techniques - Demetrovics Janos; Knuth Elod; Rado Peter (Singapore World Scientific, 1985)
Keywords: Computer science