Weber, Matthias "Deriving Transivity of VDM-Reification in DEVA" VDM Europe (1) 1991: 406-427
(1991)
Languages mentioned
Deva
{1993}