A multiple-conclusion specification logic. (1996)

by Dale Miller
Venue:Theoretical Computer Science,