Paulson, L. C. (1994). A concrete final coalgebra theorem for ZF set theory.
Chicago Style (17th ed.) CitationPaulson, Lawrence C. A Concrete Final Coalgebra Theorem for ZF Set Theory. Cambridge, 1994.
MLA (9th ed.) CitationPaulson, Lawrence C. A Concrete Final Coalgebra Theorem for ZF Set Theory. 1994.
Warning: These citations may not always be 100% accurate.