Journal of Symbolic Computation, 8, 1989 (1989) |
- Abadi, M. and Manna, Z. (1989) Abadi, M. and Manna, Z. "Temporal logic programming" pp277-295
- Chambers, C., Ungar, D., Chang, B., and Hölzle, U. (1989) Chambers, C., Ungar, D., Chang, B., and Hölzle, U. "Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF"
|
|