«El castillo de Lindabridis», Pedro Calderón de la Barca benzeri kitaplar