Formal Specification Level Concepts, Methods, and Algorithms - Soeken, Mathias; Drechsler, Rolf (Springer International Publishing : Imprint: Springer, 2015)