Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Ron K. Cytron, Brent Hailpern
ACM Computing Surveys (CSUR)
Brent Hailpern, Harold Ossher
IEEE Transactions on Software Engineering
Brent Hailpern, Susan Owicki
POPL 1982
Van Nguyen, Brent Hailpern
ACM SIGPLAN Notices