Title: Formal models and practical tools for information systems design
Subjects: Information storage and retrieval systems, Congresses, Formal languages, Computer programming