Correstness of Programs over Poor Signatures.

Hardi Hungar Correstness of Programs over Poor Signatures. 109-120 1991 conf/fsttcs/1991 FSTTCS db/conf/fsttcs/fsttcs91.html#Hungar91 http://dx.doi.org/10.1007/3-540-54967-6_64