This book contains a revised version of the dissertation the author wrote at the Department of Computer Science of the …