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