Ten miracle plays. Edited by R. George Thomas