This is a systematic and comprehensive introduction both to compositional proof methods for the s...