Notes on characterization of paracompact frames Aleš Pultr, Josef Úlehla (1989) Commentationes Mathematicae Universitatis Carolinae