Mathematics of program construction : lecture notes in computer science :Proceedings - Backhouse R.(et-al) (ed) (Springer: Tokyo, 2000)
Keywords: mathematics : computer science