Liskov B et al "Theta Reference Manual Preliminary Version" MIT Programming Methodology Group Memo 88
(1994)
Languages mentioned
THETA
{1990}