Leonard Tripp Yaohan Chu Larry Peters Leighton Scott Notations For Software Specification And Design (Panel Discussion). 460 1978 conf/acm/1978-1 ACM Annual Conference (1) http://doi.acm.org/10.1145/800127.804147 db/conf/acm/csc1978-1.html#TrippCPS78