Practical applications of symbolic computation - Howard J C (Surrey IPC Science and Technology Press, 1980)
Keywords: Mathematical logic; Mathematical models; Symbolic computation