Network Algebra with Demonic Relation Operators (0)

by J.A. Bergstra , Gheorghe Stefanescu