Single-assignment program verification - Lourenço, Cláudio Filipe Belo da Silva (2018)