http://homepages.cs.ncl.ac.uk/david.greathead/formal/GreatheadThesisDoubleSpaced.pdf
Marian -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302).
http://homepages.cs.ncl.ac.uk/david.greathead/formal/GreatheadThesisDoubleSpaced.pdf
Marian -- The Open University is incorporated by Royal Charter (RC 000391), an exempt charity in England & Wales and a charity registered in Scotland (SC 038302).