1. Mach: A new kernel foundation for unix development;Accetta,1986
2. Multicomputers: Message-passing concurrent computers;Athas;IEEE Computer,1988
3. Amalgamating language and metalanguage in logic programming;Bowen,1982
4. E. C. Cooper and R. P. Draves. C threads. Draft of Technical Report, July 1987.
5. Cornell Theory Center. Trollius User's Reference Manual, 1989.