| |
| 1992 | ||
|---|---|---|
| 4 | Oliver Schoett: Two Impossibility Theorems on Behaviour Specification of Abstract Data Types. Acta Inf. 29(6/7): 595-621 (1992) | |
| 1991 | ||
| 3 | Oliver Schoett: An Observational Subset of First-Order Logic Cannot Specify the Behaviour of a Counter (Extended Abstract). STACS 1991: 499-510 | |
| 1990 | ||
| 2 | Oliver Schoett: Behavioural Correctness of Data Representations. Sci. Comput. Program. 14(1): 43-57 (1990) | |
| 1983 | ||
| 1 | Oliver Schoett: Is Data Abstraction Sound? ADT 1983 | |