Ресурсы по оптимизации абстрактной машины CEK

Я ищу ресурсы о том, как оптимизировать абстрактную машину CEK. Я нашел "эксперимент ZINC", который описывает быструю абстрактную машину, но эта машина больше похожа на машину SECD. Тем не менее, это все еще очень полезный ресурс. Есть ли ресурсы, посвященные оптимизации машин CEK?