An arithmetic probabilistic logic for a continuous computer program correctness measure - Yair Aviv (1992)