Formal Methods, Maths and papers