@TECHREPORT{GibsonMokhtari98,
  author = {Gibson, {J. Paul} and Mokhtari, Yassine},
  title = {{POTS}: An {OO LOTOS} Specification},
  institution = {Centre de Recherche en Informatique de Nancy ({CRIN})},
  year = {1998},
  number = {CRIN-98-R-013},
  month = jan
}