Author: Conference for Formal Methods in the Methodology of Empirical Sciences Warsaw 1974.