P.B.Levy. Adjunction Models for Call-By-Push-Value With Stacks[pdf], Theory and Applications of Categories volume 14 (2005), article 5 (pages 75-110).