Substitution Principle and semidirect products      (Journal Article)

<Overall Information> Journal Name: Mathematical Structures In Computer Science Accept date: 2023 Doi: 10.1017/S0960129523000294 Volume: 33 Pages: 486-535 Revision: No