This document is unfortunately not available for download at the moment.
Benedikt Löwe , Florian Rudolph (2002) Synthese 133 (1-2).
Tarski's fixed-point theorem and lambda calculi with monotone inductive types
Ralph Matthes
pp. 107-129
Not implemented yet !