Allan M. Stavely Algorithms for analyzing concurrent software systems using derivatives. 3-20 1990 11 Journal of Systems and Software 1 http://dx.doi.org/10.1016/0164-1212(90)90105-U db/journals/jss/jss11.html#Stavely90