Constructive consistency checking for partial specification in Z
scientific article; zbMATH DE number 1389836