Constructive Analysis And Synthesis Of Programs door Marco Benini