.

Published in: Formal Aspects Comput. (2011)