Ehrig, Hartmut; Kreowski, Hans-Joerg; Thatcher, James; Wagner, Eric; Wright, Jesse Parameter passing in algebraic specification languages. (English) Zbl 0522.68027 Theor. Comput. Sci. 28, 45-81 (1984). MSC: 68P05 68N01 PDFBibTeX XMLCite \textit{H. Ehrig} et al., Theor. Comput. Sci. 28, 45--81 (1984; Zbl 0522.68027) Full Text: DOI
Thatcher, James W.; Wagner, Eric G.; Wright, Jesse B. More on advice on structuring compilers and proving them correct. (English) Zbl 0468.68007 Theor. Comput. Sci. 15, 223-249 (1981). MSC: 68N01 68Q60 68N25 PDFBibTeX XMLCite \textit{J. W. Thatcher} et al., Theor. Comput. Sci. 15, 223--249 (1981; Zbl 0468.68007) Full Text: DOI