@TECHREPORT{Gibson93III,
  author = {Gibson, {J. Paul}},
  title = {{A LOTOS-Based Approach to Neural Network Specification}},
  institution = {University of Stirling},
  year = {1993},
  number = {{Computer Science: TR-112}},
  month = may
}