Typo in image fixed.
Missing literature added.
GPL License version added in Classical-B tools table.