@TECHREPORT{Gibson93II,
  author = {Gibson, {J. Paul}},
  title = {{Formal Object Based Design in LOTOS}},
  institution = {University of Stirling},
  month ={may},
  year = {1993},
  number = {{Computer Science: TR-113}}
}