@inproceedings{Komorowski91,
  title = {On Data-type-centered, Correctness-oriented Design},
  author = {Henryk Jan Komorowski},
  year = {1991},
  tags = {data-flow, design},
  researchr = {https://researchr.org/publication/Komorowski91},
  cites = {0},
  citedby = {0},
  pages = {97-112},
  booktitle = {ICLP},
}