Backhouse, Roland; Malcolm, Grant On induced congruences. (English) Zbl 0744.68094 Bull. EATCS 40, 201-206 (1990). MSC: 68Q65 06B10 PDFBibTeX XMLCite \textit{R. Backhouse} and \textit{G. Malcolm}, Bull. EATCS 40, 201--206 (1990; Zbl 0744.68094)
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant; Saaman, Erik Do-it-yourself type theory. (English) Zbl 0697.68020 Formal Aspects Comput. 1, No. 1, 19-84 (1989). MSC: 68Q60 68P05 03F35 PDFBibTeX XMLCite \textit{R. Backhouse} et al., Formal Asp. Comput. 1, No. 1, 19--84 (1989; Zbl 0697.68020) Full Text: DOI
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant Do-it-yourself type theory. II. (English) Zbl 0669.68012 Bull. EATCS 35, 205-245 (1988). Reviewer: P.Materna MSC: 68N01 68W99 03B40 68Q99 03B99 PDFBibTeX XMLCite \textit{R. Backhouse} et al., Bull. EATCS 35, 205--245 (1988; Zbl 0669.68012)
Backhouse, Roland; Chisholm, Paul; Malcolm, Grant Do-it-yourself type theory. I. (English) Zbl 0669.68011 Bull. EATCS 34, 68-110 (1988). Reviewer: P.Materna MSC: 68N01 03B40 68W99 68Q99 03B99 PDFBibTeX XMLCite \textit{R. Backhouse} et al., Bull. EATCS 34, 68--110 (1988; Zbl 0669.68011)