John Horty and Eric Pacuit (2017), Action Types in Stit Semantics, Review of Symbolic Logic, 10, pp. 617 - 637