Alan Norcliffe

• Mathematics of Software Construction
• Mathematics of software construction