Legislation-driven development of a Gift Aid system using Event-B. - David M. Williams; Salaheddin Darwish; Steve Schneider; David R. Michael (Formal Aspects Comput., 2020)