2 books in this genre
Secret US Proposals of the Cold War
Jim Keeshen
Prototyping hard real-time Ada systems in a classroom environment
Luqi
