GeREFmal systems - Elder John (London Academic Press, 1981)