Papers tagged applicative state transition systems