Generating Event-B Specifications from Algorithm Descriptions. - Joy Clark; Jens Bendisposto; Stefan Hallerstede; Dominik Hansen; Michael Leuschel (ABZ, 2016)