How to Design Programs. It helped make explicit the very concept of mental models.