Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings - Jean-Pierre Jouannaud, Zhong Shao ((Lecture Notes in Computer Science))