TY - RPRT TI - On the specification of operations on the rational behaviour of systems AU - Marcello M. Bonsangue AU - Stefan Milius AU - Jurriaan Rot PY - 2012 DO - 10.4204/eptcs.89.2 UR - https://arxiv.org/abs/1208.2746 ID - 1208.2746 ER -