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