Semantics and verification of object-role models
Using multi-bucket data leaves with overflow chains—performance analysis
An authorization mechanism for unix-based cooperative environments
Modeling and evaluation of alternatives in information systems
Minimum boundary-length problem in B∗-trees: A case study
IFIP—international federation for information processing
Editorial: Software survey section