Some fundamentals of order-algebraic semantics

This publication has 12 references indexed in Scilit:

• Structured Programming With and Without go to Statements
  IEEE Transactions on Software Engineering, 1976
• On homomorphisms, correctness, termination, unfoldments, equivalence of flow diagram programs
  Journal of Computer and System Sciences, 1974
• Simple Program Schemes and Formal Languages
  Lecture Notes in Computer Science, 1974
• Languages for defining sets in arbitrary algebras
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1971
• An algebraic theory of recursive definitions and recursive languages
  Published by Association for Computing Machinery (ACM) ,1971
• Algebraic theories and program schemes
  Published by Springer Nature ,1971
• The common algebraic structure of exit-automata and machines
  Computing, 1970
• Automata in general algebras
  Information and Control, 1967
• Algebraic automata and context-free sets
  Information and Control, 1967
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963