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