Abstract Behavior Types: a foundation model for components and their composition

Science of Computer Programming - Tập 55 Số 1-3 - Trang 3-52 - 2005