Computer-aided specification techniques - Demetrovics, János (World Scientific, 1985)