Denotational models for unblunded nondeterminism

1995 Theoretical Computer Science  
doi:10.1016/0304-3975(96)80135-6 fatcat:w3rzvhamxfd2pc3aqkwwxz2no4