Formal methods in the methology of empirical science - Marian,Przelecki; Klemens, Szansedki; Wijcicki, Ryszard (Dordrecht D. Reidel Publishing, 1976)