Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock

Mathematics of Program Construction - 1993 - Springer Berlin Heidelberg 1993 - Lecture Notes in Computer Science .

9783540476139


Computer Science