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