Specifying Systems: The TLA+ Language and Tools for Hardware ...
Leslie Lamport
Halo
Tom Maddox
Foundations of Programming
Karl Seguin
Life-Line
Robert A. Heinlein
The Decision View's Role in Software Architecture Practice
Philippe Kruchten & Rafael Capilla & Juan Carlos Duenas
IEEE Software (26.02)