Li-Guo Wang: Formal derivation of a class of computers. University of Edinburgh, UK 1995