The flexiformalist manifesto - Kohlhase, Michael (14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, 2012)