(In)completeness in specifications. - Vasu S. Alagar; D. Kourkopoulos (Inf. Softw. Technol., 1994)