The bigraded Rumin complex via differential forms / Jeffrey S. Case. Providence, RI : American Mathematical Society, [2025], © 2025