The Online Encyclopaedia of Mathematics is the most up-to-date and comprehensive English-language graduate-level reference work in the field of mathematics today. This online edition comprises more than 8,000 entries and illuminates nearly 50,000 notions
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.