Formal description of programming concepts

From integrated publication and information systems to virtual information and knowledge environments