An operational approach to object-oriented software development. - Cheng F. Fong (1993)