Regular trees and the free iterative theory

Susanna Ginali
1979 Journal of computer and system sciences (Print)  
doi:10.1016/0022-0000(79)90032-1 fatcat:iifve7sgf5gcdcqtnxrpo5g4xa