Creeseand Roscoe. Verifying an Infinite Family of Inductions Simultaneously Using Data Independence and FDR. Springer US, 1999, doi:10.1007/978-0-387-35578-8_25.