Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    D.M. Berry: Block Structure: Retention or Deletion? Proc.Third Annual ACM Symp.on Theory of Computing, Shaker Heights, Ohio, May 3–5, 1971Google Scholar
  2. 2.
    H.Ehrig, M. Pfender, H.J. Schneider: Graph Grammars: An Algebraic Approach, Proc. 1973 IEEE Conf. on Switching and Automata Theory, Iowa City, Iowa, pp.167–180Google Scholar
  3. 3.
    R.W. Floyd: Assigning Meanings to Programs, Proc. of a Symp. on Appl.Math., Amer.Math.Soc.19, 1967, pp.19–32Google Scholar
  4. 4.
    C.A.R.Hoare: Proof of a Structured Program: The Sieve of Eratosthenes, The Computer J.15, pp.321–325Google Scholar
  5. 5.
    C.A.R. Hoare: Proof of a Program: FIND, Comm. of ACM 14, pp.39–45Google Scholar
  6. 6.
    C.A.R. Hoare, P.E. Lauer: Consistent and Complementary Formal Theories of the Semantics of Programming languages, Acta Inf.3, pp.135–153Google Scholar
  7. 7.
    J.B. Johnston: The Contour Model of Block Structured Processes, Proc. of ACM Symp. on Data Structures in Progr. Lang., SIGPLAN notices, Feb.1971Google Scholar
  8. 8.
    D.E. Knuth: Semantics of Context-Free Languages, Math.Syst.Theor. 2, pp. 127–145Google Scholar
  9. 9.
    A.A. Markov: Teorija algoritmov, Trudy matematičeskogo instituta imeni V.A.Steklova, 36, pp.176–189 (in Russian)Google Scholar
  10. 10.
    P. Naur, ed.: Revised Report on the Algorithmic Language ALGOL 60, Comm. of ACM 6, pp.1–17Google Scholar
  11. 11.
    P. Naur: Proof of algorithms by general snapshots, BIT 6, pp.310–316Google Scholar
  12. 12.
    V. Rajlich: Relational Structures and Dynamics of Certain Discrete Systems, Proc. Symp. Math. Foundations of Computer Sci., High Tatras, Czechoslovakia, Sept. 3–8, 1973, pp.285–292Google Scholar
  13. 13.
    V. Rajlich: Dynamics of Certain Discrete Systems and Self-Reproduction of Patterns, Proc. Conf. on Biologically Motivated Automata Th., McLean, Virginia, June 19–21, 1974, pp.192–198.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Václav Rajlich
    • 1
  1. 1.Research Institute for Mathematical MachinesPraha 6Czechoslovakia

Personalised recommendations