Introduction to the Theory of Programming Language...
# linking-together
s