Reliable software through composite design by Glenford J Myers | Menrva Books