Branching and sharing (Cambridge: Cambridge University Press, 1992)
Keywords: Maths