@article{ETD,
      recid = {1184},
      author = {DiNucci, David C. and },
      title = {A formal model for architecture-independent parallel  software engineering},
      publisher = {Oregon Health and Sciences University},
      school = {Ph.D.},
      address = {1990-03-01},
      number = {ETD},
      url = {http://digitalcollections.ohsu.edu/record/1184},
      doi = {https://doi.org/10.6083/M4WS8RCW},
}