Heinz Kredel The MAS Specification Component. 39-50 1991 PLILP db/conf/plilp/plilp91.html#Kredel91 http://dx.doi.org/10.1007/3-540-54444-5_86