Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique - Lee, Ji-Hyun; Yoo, Cheol-Jung; Chang, Ok-Bae (ACM SIGPLAN Notices, 2002)