Relational Reasoning about Functions and Nondeterminism (1998)

by Søren Bøgh Lassen , Søren Bøgh Lassen
Citations:31 - 4 self