Solving the bank with Rebel: on the design of the Rebel specification language and its application inside a bank.

Jouke Stoel, Tijs van der Storm, Jurgen J. Vinju, Joost Bosman

Browse the full OOPSLA paper archive.