(1955) aut aut 30.
pp. 524-555
This document is unfortunately not available for download at the moment.