A data structuring calculus and its application to program development

@inproceedings{Oliveira1998ADS,
  title={A data structuring calculus and its application to program development},
  author={Jo{\~a}o Oliveira},
  year={1998}
}

Topics from this paper.