Infinite trees and completely iterative theories: A coalgebraic view
scientific article; zbMATH DE number 1957320
scientific article