Formal Aspects of Component Software - Farhad Arbab; Sung Shik Jongmans (springer, 2020)
Keywords: Computer Science; Software Engineering