| Publication | Date of Publication | Type |
|---|
| Programming with quantum communication | 2025-03-11 | Paper |
A probability perspective
Formal Aspects of Computing | 2011-10-18 | Paper |
Quantum Predicative Programming
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Quantum Predicative Programming
Lecture Notes in Computer Science | 2009-04-02 | Paper |
Retrospective and Prospective for Unifying Theories of Programming
Unifying Theories of Programming | 2007-09-14 | Paper |
Mathematics of Program Construction
Lecture Notes in Computer Science | 2005-08-26 | Paper |
From Boolean algebra to unified algebra
The Mathematical Intelligencer | 2004-12-13 | Paper |
| scientific article; zbMATH DE number 2079992 (Why is no real title available?) | 2004-08-03 | Paper |
| scientific article; zbMATH DE number 1487498 (Why is no real title available?) | 2001-01-29 | Paper |
Specifications, programs, and total correctness
Science of Computer Programming | 1999-11-01 | Paper |
Formalization of time and space
Formal Aspects of Computing | 1999-06-29 | Paper |
| scientific article; zbMATH DE number 512959 (Why is no real title available?) | 1994-03-10 | Paper |
A practical theory of programming
Science of Computer Programming | 1990-01-01 | Paper |
Real-time programming
Information Processing Letters | 1989-01-01 | Paper |
Termination conventions and comparative semantics
Acta Informatica | 1988-01-01 | Paper |
Erratum to: ``Predicative methodology''
Acta Informatica | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4016169 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4016170 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4016171 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4063056 (Why is no real title available?) | 1987-01-01 | Paper |
Predicative methodology
Acta Informatica | 1986-01-01 | Paper |
Predicative programming Part I
Communications of the ACM | 1984-01-01 | Paper |
Predicative programming Part II
Communications of the ACM | 1984-01-01 | Paper |
Programming with Grammars: An Exercise in Methodology-Directed Language Design
The Computer Journal | 1983-01-01 | Paper |
A methodology for programming with concurrency: An informal presentation
Science of Computer Programming | 1982-01-01 | Paper |
Bunch theory: A simple set theory for computer science
Information Processing Letters | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3700174 (Why is no real title available?) | 1980-01-01 | Paper |
A contribution to the programming calculus
Acta Informatica | 1979-01-01 | Paper |
On removing the machine from the language
Acta Informatica | 1978-01-01 | Paper |
Information Content of Programs and Operation Encoding
Journal of the ACM | 1977-01-01 | Paper |
