Ashmedai

Ashmedai was king of the demons, mentioned in the Talmud and the Book of Tobit

Michael Levine

A language for doing symbolic mathematics. It had an influence on SMP and FORM.