Formal Aspects of Component Software by Sung-Shik Jongmans | Menrva Books | MenrvaBooks