Sverre Hvammen Johansen, Department of Informatics, University of Oslo.
Terje Mjoes, Hydro Data, Oslo.
Stein Krogdahl, Department of Informatics, University of Oslo.
