K. Sere

1954

• Program development by refinement
• Dependability and computer engineering