Modelling Actors with Redex: Part I
eighty-twenty.org