(1955) aut aut 25.
pp. 69-87
This document is unfortunately not available for download at the moment.