Similarity and bisimilarity for countable nondeterminism and higher-order functions (1997)

by Søren B Lassen, Corin Pitcher
Venue:Electr. Notes Theor. Comput. Sci