Boolean functions represented by random formulas Petr Savický (1987) Commentationes Mathematicae Universitatis Carolinae