@inproceedings{DBLP:conf/ftrtft/JifengHFMOSHRR94,
  title = "Provably Correct Systems",
  author = "Jifeng He and C. A. R. Hoare and Martin Fr{\"a}nzle and Markus M{\"u}ller-Olm and Ernst-R{\"u}diger Olderog and Michael Schenke and Michael R. Hansen and Anders P. Ravn and Hans Rischel",
  year = "1994",
  booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems - ProCoS, L{\"u}beck, Germany, September 19-23, Proceedings",
  editor = "Hans Langmaack and Willem P. de Roever and Jan Vytopil",
  pages = "288-335",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "863",
  doi = "10.1007/3-540-58468-4_171",
}