review: Fundamenta Informaticae.
Final version.