D.: The mobius proof carrying code infrastructure (2008)

by G Barthe, P Crégut, B Grégoire, T P Jensen, Pichardie