Philip L. Miller

• Programming by design
• Teacher's guide to accompany Programming by design