A unified methodology for developing systems - Wallace, Robert H. (Intertext Publications, 1987)