1. Anderson, J.S., Durney, B.: Using Scenario in Deficiency-driven Requirements Engineering. In: Requirements Engineering 1993, pp. 134–141. IEEE Computer Society Press, Los Alamitos (1993)
2. Biermann, A.W., Ramachandran Krishnaswamy, R.: Constructing programs from example computations. IEEE Transactions on Software Engineering 2(3), 141–153 (1976)
3. Booch, G.: Object Oriented Analysis and Design with Applications, 2nd edn. Benjamird/Cummings Publishing Company Inc., Redwood City (1994)
4. Citrin, W., Cockburn, A., Kane, J.V., Hauser, R.: Using Formalized Temporal Messageflow Diagrams. Software-Practice & Experience 25(12), 1367–1401 (1995)
5. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development: The Fusion Method. Prentice-Hall, Inc., Englewood Cliffs (1994)