Validating object oriented formal requirements specifications : a description of an action research study - Fowler, Danielle C. (Working paper (Swinburne University of Technology. Centre for Information Systems Research) ;, 1994)