El Gran Duque de Grandía - Calderón de la Barca, Pedro, 1600-1681 (Académie Tschécoslovaque des Sciences, 1963)