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