| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q3509178 | 2008-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332415 | 1997-04-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3977997 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3977996 | 1992-06-25 | Paper |
| On conservative extensions of syntax in system development | 1991-01-01 | Paper |
| Denotational engineering | 1989-01-01 | Paper |
| A guided tour of the mathematics of MetaSoft '88 | 1988-01-01 | Paper |
| MetaSoft primer. Towards a metalanguage for applied denotational semantics | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660892 | 1983-01-01 | Paper |
| On the Development of Correct Specified Programs | 1981-01-01 | Paper |
| The clean termination of iterative programs | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190102 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4190089 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194416 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4194417 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4151705 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4134898 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4130967 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138076 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4109261 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4094359 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4066582 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4050093 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5679690 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4055149 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4072828 | 1972-01-01 | Paper |
| Addressless Units for Carrying Out Loop-Free Computations | 1972-01-01 | Paper |
| Equational languages | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5647868 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5647869 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5633660 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5660507 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5626297 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643597 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5660506 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5591928 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597525 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5597526 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5588309 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5557633 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5548012 | 1966-01-01 | Paper |
| Formalisation of Parenthesis‐Free Languages | 1966-01-01 | Paper |
| On the Notion of Process | 1965-01-01 | Paper |
