.

Published in: Formal Aspects Comput. (2009)