wichita.edu
…Notes in Computer Science, Springer-Verlag, vol. 821, pp. 236-259, 1994. R. Bagai. A Dataflow Language Compilation for a Demand-Driven Machine. In Proceedings of the 20th Latin-American Conference on Computer Science and Information Systems, Mexico City, Mexico, pp. 1109-1119, 1994. R. Bagai, V. Shanbhogue, J. M. Zytkow, and S.-C. Chou. Automatic Theorem …
https://www.wichita.edu/profiles/academics/engineering/SoC/01_Faculty/Bagai-Rajiv.php