| Publication | Date of Publication | Type |
|---|
| Data type specification | 2014-03-14 | Paper |
| Formal Methods in Software and Systems Modeling | 2005-12-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4654727 | 2005-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722024 | 2001-07-11 | Paper |
| On the role of memory in object-based and object-oriented languages | 1997-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4327836 | 1995-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273478 | 1994-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028340 | 1993-03-28 | Paper |
| An algebraically specified language for data directed design | 1990-01-01 | Paper |
| Algebras, polynomials and programs | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787445 | 1988-01-01 | Paper |
| Canonical constraints for parameterized data types | 1987-01-01 | Paper |
| A categorical treatment of pre- and post-conditions | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718134 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725715 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4725716 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4727407 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3695436 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3707389 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3777431 | 1985-01-01 | Paper |
| Parameter passing in algebraic specification languages | 1984-01-01 | Paper |
| Recursion and iteration in continuous theories: the M-construction | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3659172 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3667933 | 1983-01-01 | Paper |
| Data Type Specification: Parameterization and the Power of Specification Techniques | 1982-01-01 | Paper |
| More on advice on structuring compilers and proving them correct | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3906461 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3851612 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4199499 | 1979-01-01 | Paper |
| A uniform approach to inductive posets and inductive closure | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4176939 | 1978-01-01 | Paper |
| Initial Algebra Semantics and Continuous Algebras | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4149772 | 1977-01-01 | Paper |
| Parallel realization of systems, using factorizations and quotients in categories | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134935 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4063610 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4061930 | 1973-01-01 | Paper |
| Bounded action machines. II: The basic structure of tapeless computers | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665189 | 1971-01-01 | Paper |
| Uniformly Reflexive Structures: On the Nature of Godelizations and Relative Computability | 1970-01-01 | Paper |
| Bounded action machines: toward an abstract theory of computer structure | 1968-01-01 | Paper |
| Statistical Analysis of Paged and Segmented Computer Systems | 1966-01-01 | Paper |
