Michel Bidoit: Recent Development of the PLUSS Specification Language. ADT 1988
(1988)
Languages mentioned
PLUSS
{1984}