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