Shih-Chien Chou, Chyan-Goei Chung: An OOA model with system function specifications. ICRE 1994: 16-23