装丁について
Includes the full code of computer programs for a 'hands on' experience in the techniques of formal semantics.