Ford, Jonathan; Mason, Ian A. Formal foundations of operational semantics. (English) Zbl 1074.68033 High.-Order Symb. Comput. 16, No. 3, 161-202 (2003). MSC: 68Q55 68T15 PDFBibTeX XMLCite \textit{J. Ford} and \textit{I. A. Mason}, High.-Order Symb. Comput. 16, No. 3, 161--202 (2003; Zbl 1074.68033) Full Text: DOI
Farmer, William M.; Guttman, Joshua D.; Thayer, F. Javier Contexts in mathematical reasoning and computation. (English) Zbl 0836.68107 J. Symb. Comput. 19, No. 1-3, 201-216 (1995). MSC: 68T15 68W30 03B35 PDFBibTeX XMLCite \textit{W. M. Farmer} et al., J. Symb. Comput. 19, No. 1--3, 201--216 (1995; Zbl 0836.68107) Full Text: DOI