Publication

A language for multilevel specification of information systems