1. The role of domain experience in software design;Adelson;IEEE Trans. Software Engng,1985
2. Software requirements engineering methodology (SREM) at the age of two;Alford,1980
3. F-ORM method: methodology for reusing specifications;De Antonellis;ITHACA J.,1991
4. Tolerating inconsistency;Balzer,1991
5. Informality in program specifications;Balzer;IEEE Trans. Software Engng,1978