(1984) Dialectica 38.
pp. 157-178
This document is unfortunately not available for download at the moment.