@phdthesis{Gibson93I,
author ={J. Paul Gibson},
title = "Formal Object Oriented Development of Software Systems Using
{LOTOS}",
school = "Stirling University",
month = aug,
type = "{Thesis CSM-114}",
year = 1993
}