de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0985.68517 Theor. Comput. Sci. 34, No. 1-2, 135-156 (1984). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 34, 135--156 (1984; Zbl 0985.68517) Full Text: DOI Link
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0527.68011 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 39-51 (1983). MSC: 68Q60 68P05 68N01 PDFBibTeX XML
De Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0517.68026 Automata, languages and programming, 10th Colloq., Barcelona/Spain 1983, Lect. Notes Comput. Sci. 154, 39-51 (1983). MSC: 68Q60 68W99 PDFBibTeX XML
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch. Correctness of programs with function procedures. (Extended abstract). (English) Zbl 0481.68015 Logics of programs, Workshop Yorktown Heights/NY 1981, Lect. Notes Comput. Sci. 131, 94-112 (1982). MSC: 68Q60 PDFBibTeX XML
de Bakker, J. W.; Klop, J. W.; Meyer, J.-J. Ch. Correctness of programs with function procedures. (English) Zbl 0463.68021 Math. Cent., Amst., Afd. Inf. IW 170/81, 18 p. (1981). MSC: 68Q60 68Q65 68W99 PDFBibTeX XML