D. C. Buddenhagen, S. D. Staddard. The initial implementation of System k (abstract only). In Terry M. Walker, Wayne D. Dominick, editors, Proceedings of the 13th ACM Annual Conference on Computer Science, New Orleans, Louisiana, USA, 1985. pages 423, ACM, 1985. [doi]
Abstract is missing.