A study of transitive closure as a recursion mechanism

Abstract
No abstract available