M. Gordon, R. Milner, C.P. Wadsworth

Edinburgh LCF - 1979 - Springer Berlin Heidelberg 1979 - Lecture Notes in Computer Science .

9783540385264


Computer Science