Abstract Operational Methods for Call-by-Push-Value - Goncharov, Sergey (arXiv.org)