Product programs and relational program logics - Barthe, Gilles; Crespo, Juan Manuel; Kunz, César (Journal of logical and algebraic methods in programming, 2016)