A nice introduction on history of mathematical theories, which helped develop formal methods can be found here.