Certified programs and proofs first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings / (Springer,, 2011)