Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen, Søren Bøgh Lassen