That strange procedure called quantisation

This is a pedagogical and (almost) self-contained introduction into the theorem of Groenewold and van Howe, which states that a naive transcription of Dirac's quantisation rules cannot work. Some related issues in quantisation theory are also discussed. First-class constrained systems are briefly described in a slightly more `global' fashion.