ALOE Usersʹ and implementorsʹ guide - Medina-Mora, Raul (CMU-CS ;, 1981)