Arnold, A. Schemas de programmes recursifs non déterministes avec appel ”synchrone”. (French) Zbl 0405.68012 Program transformations, Proc. 3rd int. Symp. Program., Paris 1978, 126-140 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 68Q60 Specification and verification (program logics, model checking, etc.) 68N01 General topics in the theory of software 68Q45 Formal languages and automata PDF BibTeX XML OpenURL