Stephen S. Yau, Jacob V. Gore. Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation. Comput. J., 36(2):137-142, 1993.
@article{YauG93,
title = {Paradigm Lost: Discovering the Intersection of Assertion-Guided Program Construction and Constraint-Driven Reevaluation},
author = {Stephen S. Yau and Jacob V. Gore},
year = {1993},
tags = {constraints, programming paradigms},
researchr = {https://researchr.org/publication/YauG93},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {36},
number = {2},
pages = {137-142},
}