Leon Osterweil;Lori Clarke;Donald Good;Raymond Houghton;Thomas Love;Patricia Santoni;Daniel Teichroew;Anthony Wasserman
University of Colorado;University of Massachusetts;University of Texas;National Bureau of Standards;ITT;NOSC;University of Michigan;UC-San Francisco
The UNIX time-sharing system
Communications of the ACM
Requirements expression and verification aid
ICSE '78 Proceedings of the 3rd international conference on Software engineering