J. V. Tucker, Jeffery I. Zucker. Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. Journal of Logic and Algebraic Programming, 13(1):23-55, 1992.
@article{TuckerZ92:0, title = {Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types}, author = {J. V. Tucker and Jeffery I. Zucker}, year = {1992}, tags = {data-flow programming}, researchr = {https://researchr.org/publication/TuckerZ92%3A0}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {13}, number = {1}, pages = {23-55}, }