Manca la casistica sull'if, cercherò di inserire un paragrafo dedicato --Domenico Biancardi (msg) 12:18, 5 feb 2016 (CET)[rispondi]

Ma perchè è stata messa una citazione su un titolo? Quell'assioma è parte integrante della teoria di hoare quindi sono necessarie le fonti su tutto l'articolo, cosa che farò appena avrò un attimo di tempo --Domenico Biancardi (msg) 11:18, 6 feb 2016 (CET)[rispondi]