Grünbaum, T. R. Ingarden’s Theory of Schematized Profi Les: A Dynamic Version. NJA 2005, 17.