 | 1986 |
|---|
| 7 |       | M. R. Sadler:
A Defense of Proof Theory as the Right Foundations.
ADT 1986 |
| 1985 |
|---|
| 6 | | Samit Khosla,
T. S. E. Maibaum,
M. R. Sadler:
Database Specification.
DS-1 1985: 141-158 |
| 5 |  | Samit Khosla,
T. S. E. Maibaum,
M. R. Sadler:
Large Database Specification from Small Views.
FSTTCS 1985: 246-271 |
| 4 | | T. S. E. Maibaum,
Paulo A. S. Veloso,
M. R. Sadler:
A Theory of Abstract Data Types for Program Development: Bridging the Gap?
TAPSOFT, Vol.2 1985: 214-230 |
| 1984 |
|---|
| 3 | | T. S. E. Maibaum,
M. R. Sadler:
Axiomatizing Specification Theory.
ADT 1984: 171-177 |
| 2 | | T. S. E. Maibaum,
M. R. Sadler,
Paulo A. S. Veloso:
Logical Specification and Implementation.
FSTTCS 1984: 13-30 |
| 1983 |
|---|
| 1 | | Forouzan Golshani,
T. S. E. Maibaum,
M. R. Sadler:
A Modal System of Algebras for Database Specification and Query/Update Language Support.
VLDB 1983: 331-339 |
