Research on Reversible Functions Having Component Functions with Specified Properties: An Overview (Reversible Computation: Extending Horizons of Computing, 2020)