A model for computer aided programming. - Robert Ian Lee (1973)