Contributors to EAL0040