Formalisms for Reuse and Systems Integration - Bouabana-Tebibel, Thouraya; Rubin, Stuart H (Springer International Publishing, 2015)