Jeremy Gibbons' Publications
Found this page when looking for a Spigot algorithm for pi, but has also an article about using formal methods in the development of the Transputer Floating Point Unit.
Wed Feb 14 17:55:43 2007 - permalink -
-
http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/index.html#spigot