On Generic Structures. - D. W. Kuecker; Michael C. Laskowski (Notre Dame J. Formal Log., 1992)