FM 2011 : formal methods, 17th international symposium on formal methods, Limerick,
Ireland, June 20 - 24, 2011, proceedings / Michael Butler, Wolfram Schulte (eds.),
cop. 2011
Internet, http://en.wikipedia.org/wiki/Michael_Butler_%28computer_scientist%29, 2011-10-10
Information trouvée : origines
Internet, http://users.ecs.soton.ac.uk/mjb/, 2011-10-10
Information trouvée : fonction
The Gamma function / Emil Artin, translated by Michael Butler, 1964.