The Nine Lemma and the push forward construction for special Schreier extensions of monoids with operations

Martins-Ferreira, A. Montoli and M. Sobral (2018), The Nine Lemma and the push forward construction for special Schreier extensions of monoids with operations, Semigroup Forum, 97(2), 325-352