A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure. - Sususmu Hayashi; Satoshi Kobayashi (Int. J. Found. Comput. Sci., 1995)