Formal techniques for systems specification and verification
The time dimension in conceptual modelling
A probabilistic inference model for information retrieval
Direct manipulation of a data dictionary with SQL
Question-and-answer passwords: An empirical evaluation
Analysis of a deferred and incremental update strategy for secondary indexes
Approximating block accesses in random files: The case of blocking factors lower than one
News section
Software survey section