----------------------------------
Errata BIT paper.
BIT Numerical Mathematics
June 1985, Volume 25, Issue 2, pp 327–334.

Towers of Hanoi problems: Deriving iterative solutions by program transformations

Pettorossi, A. BIT (1985) 25: 327. https://doi.org/10.1007/BF01934378

page 328   line -13   The line between the two dots should connect them:   •––––•
page 332   line +19   (yy...y]         should be:   [yy...y]
page 333   line +1    sisks            should be:   disks
page 333   line +2    seuqnce          should be:   sequence
page 333   line -18   :-               should be:   :=
page 333   line -16   res := hd(l)::   should be:   res := hd(l)y :: 
page 333   line -9    tl(l),           should be:   tl(l)),
 
----------------------------------