Process algebra with five-valued conditions, in: C.S (1999)

by J A Bergstra, A Ponse
Venue:Calude, M.J. Dinneen (Eds.), Combinatorics, Complexity, and Logic, Australian Computer Science Communications