Correctness problem in computer science - Boyer R S; Moore J S eds (London Academic Press, 1981)
Keywords: Computer science