The composite algebraic structure over capabilities and actions of a system. - Petr Pinkas; Jana Klecková (ICITST, 2009)