The correctness problem in computer science (Acad. Pr., 1983)