@article{bjorner1989procos,
  title = "A ProCoS Project Description: ESPRIT BRA 3104",
  author = "Bj{\o}rner, Dines and Hoare, CAR and Bowen, Jonathan P and Jifeng, He and Langmaack, Hans and Olderog, Ernst-R{\"u}diger and Martin, UH and Stavridou, Victoria and Nielson, Fleming and Nielson, Hanne Riis and others",
  year = "1989",
  journal = "Bulletin of the European Association for Theoretical Computer Science (EATCS)",
  pages = "60--73",
  volume = "39",
}