References for S4

Baldwin Why we can't program multiprocessors the way that we're trying to do it now

Booch Object Oriented Development

Fred Brooks No Silver Bullet

Cantwell-Smith Two Lessons of Logic

Deutsch Enhancing testability with scenario-oriented engineering

Harel Biting the Silver Bullet

Harel On visual formalisms