Publications by 'D. Abrial'