Guillaume Ambal, Sergueï Lenglet, Alan Schmitt: Certified abstract machines for skeletal semantics. CPP 2022: 55-67