Author: South African Computer Symposium on Research in Theory, Software (2nd 1981 Pretoria, South Africa)