Marek Rosiak, Formalizacja ontologii ufundowania , Filozofia Nauki, 1996, 4, 1, s. 41-80