Property driven development in Erlang, by example | Publicación