Théorie des programmes, C. Livercy · Super Livre