Title: Auto da barca do Inferno
First published: 1982
LC classification: PQ9251 .B28 1988