Bergstra and Alban Ponse. Kleene's three-valued logic and process algebra (1998)

by A Jan
Venue:Information Processing Letters