Mathematical principles for a first course in software engineering
Harlan D. Mills, Victor Robert Basili, John D. Gannon, Richard G. Hamlet · IEEE Transactions on Software Engineering · 1989
An introductory computer science course is developed, much as calculus is a basic course for mathematics and the physical sciences, concerned primarily with theoretical foundations and methodology rather than apprenticeship through applications. In this work, the principles taught in the course are described and an example illustrating them is given.>