Dynamic algebras as a well-behaved fragment of relation algebras (0)

by Vaughan Pratt
Venue:Proc. Conf. on Algebra and Computer Science