DAIMI is an acronym for Datalogisk Afdeling I Matematisk Institut, which translates to
Department of Computer Science under the Mathematical Institute.
The following brochures have been donated to the CIDEC Center by DAIMI (University of Århus,
Denmark).
Modified June 20, 1995 by MP.
Comments: monika@cs.ioc.ee