Compositional reachability analysis using process algebra (1991)

by W J Yeh, M Young
Venue:Proc. of ACM SIGSOFT