Carlos Loría-Sáenz. A theoretical framework for reasoning about program construction based on extensions of rewrite systems. PhD thesis, Universität Kaiserslautern, 1993.
No references recorded for this publication.
No citations of this publication recorded.