Formal Aspects of Component Software by Javier Cámara | Menrva Books | MenrvaBooks