Using the UCSD p-system
Buckner, K.,1950-
London Addison-Wesley
c1984
Bibliography: p237-238. - Includes index
UCSD p-system (Computer system)