Call-By-Push-Value by Paul Blain Levy