On the Structure of Convincing Specifications. - Haim Kilov; Allan Ash (Behavioral Specifications of Businesses and Systems, 1999)