Tools for Structured and Object-oriented Design An Introduction to Programming Logic by Marilyn Bohl