Links, unfortunately non-free: Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_19 http://link.springer.com/chapter/10

Links, unfortunately non-free: Towards formal proof metrics: http://link.springer.com/chapter/10.1007/978-3-662-49665-7_19 http://link.springer.com/chapter/10.1007/978-3-662-49665-7_1... Proof engineering considered essential: http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2 http://link.springer.com/chapter/10.1007/978-3-319-06410-9_2 Engineering mathematics: http://dl.acm.org/citation.cfm?id=2429071 http://dl.acm.org/citation.cfm?id=2429071 Challenges and experiences …: http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3 http://link.springer.com/chapter/10.1007/978-3-642-31374-5_3