面向对象系统的时序逻辑描述
면향대상계통적시서라집묘술
A Temporal Logic Approach to the Specification of Object-oriented Systems
저자의 최근 논문