My graduate thesis was submitted for the degree of Candidatus Scientiarum at University of Bergen, Department of Informatics, December 1998.
More recent updates of the work exists.