Jack C. Wileden John H. Sayler William E. Riddle Alan R. Segal Allan M. Stavely Behavior specification in a software design system. 123-135 1983 3 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(83)90025-0 db/journals/jss/jss3.html#WiledenSRSS83