@techreport{3897,
  title = "An Operational Semantics for FOOPS",
  author = "Panlo Borba and Joseph A. Goguen",
  year = "1994",
  institution = "OUCL",
  month = "November",
  number = "PRG115",
}