Technical report. (Dept. of Computer Science, University of Western Australia, 1986)