Non-determinism in a functional setting (1993)

by C-H L Ong
Venue:in: Logic in Computer Science