- CSB - MetaPress - Google - Bing - Yahoo
 | 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 |