Acceptance Trees (1985)

by M Hennessy
Venue:J. ACM