Using the UCSD p-system. - Buckner, K. (The Benjamin/ Cummings Publishing Company Inc., 1984)