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