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.
Cool page about (semi)numerical algorithm, including a book in progress, an open source library and a number of interesting links. Also has a mirror of hakmem. The author has also published a book about pi.