You are welcome to use DOT material in publications of any kind. We
appreciate acknowledgement to "Dutch Open Telescope" (short),
or "Dutch Open
Telescope, operated at the Spanish Observatorio
del Roque de los Muchachos of the Instituto de Astrofísica de
Canarias" (long).