Computer aided-specification tchniques - Demetrovics, Jonos Etc (Series in computer science vol.1, 1985)