Bosma, Wieb; Cannon, John; Playoust, Catherine The Magma algebra system. I: The user language. (English) Zbl 0898.68039 J. Symb. Comput. 24, No. 3-4, 235-265 (1997). MSC: 68W30 PDF BibTeX XML Cite \textit{W. Bosma} et al., J. Symb. Comput. 24, No. 3--4, 235--265 (1997; Zbl 0898.68039) Full Text: DOI Link OpenURL
Nait Abdallah, Areski The local approach to programming language theory. (English) Zbl 0586.68017 Continuous lattices and their applications, Proc. 3rd Conf., Bremen/Ger. 1982, Lect. Notes Pure Appl. Math. 101, 219-236 (1985). Reviewer: N.Curteanu MSC: 68N01 68Q60 68Q65 PDF BibTeX XML OpenURL