Reversible Session-Based Concurrency in Haskell. - Folkert de Vries; Jorge A. Pérez 001 (TFP, 2018)