Master’s Thesis August 1991
Dept. of Computer Science Technical University of Denmark
This work constitutes a Master’s Thesis for the M.Sc.E. degree at the Technical University of Denmark.
The work was carried out at the Department of Computer Science during the period February 1st through August 31st, 1991, with Professor Jørgen Fischer Nilsson as supervisor.
Finn Bjarne Pedersen