System design from provably correct constructs - Martin, James (Englewood Cliffs, 1985)
Keywords: System design . Electronic digital computers_Programming.