Olga Kouchnarenko, Ramtin Khosravi Formal Aspects of Component Software - Springer Springer 2017 ISBN: 9783319576664 Source: EBOOK