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