Relational Reasoning about Functions and Nondeterminism (1998)

by S B Lassen
Venue:Dept. of Computer Science, Univ. of Aarhus