On Practice of Big Software Designing.
J. Softw., 2010
Integrated Software Engineering Methodology.
Proceedings of the International Forum on Information Technology and Applications, 2009
And/Or Parallel Execution of Logic Programs: Exploiting Dependent And-Parallelism.
ACM SIGPLAN Notices, 1993