Software engineering mathematics formal methods demystified
Woodcock, James.
Loomes, Martin.
London Pitman
1988
Electronic digital computers
Electronic data processing