Formal Specification Level - Soeken, Mathias; Drechsler, Rolf (Springer International Publishing, 2015)