@conference{Woodcock1987265,
  title = "MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .",
  author = "Woodcock, J.C.P., Sorensen, I.H.",
  year = "1987",
  address = "Monterey, CA, USA",
  isbn = "0818607696",
  language = "English",
  pages = "265-268",
  publisher = "IEEE, New York, NY, USA",
}