Computer-aided specification techniques - Demtrovics, Janos (Series in computer science, 1985)