Forum: A multiple-conclusion specification language (1996)

by D Miller
Venue:Theoretical Computer Science