The specifications in the "PSF-book" contain the following errors:

1) Section 3.3.2.4, p. 54, module Receiver, definition RF(b) should have one
   more closing parenthesis.
2) Section 3.5.2.2, p. 65, module Sender, definition RM(b) should have one
   more closing parenthesis.
3) Section 4.4.2.5, p. 106, module TIM, definition TIM(SD) should be TIM(sd).
4) Section 4.4.2.5, p. 106, module TIM, definition TIM(sd,ttab,atr), first
   and second factor should be separated by a dot-symbol.
5) Section 5,3.9. p. 130, module Chsc (implicit), par. 3, last line,
   change the text
   "atom lost-cs (which is changed into lost-sc)."
   into
   "atoms lost-cs, r1 and s3 (which are changed into lost-sc, r4 and s2)."
