A protocol for generalized Occam (1986)

by R Bornat
Venue:Software Practice and Experience