Property Preserving Redesign of Specifications. - Artur Zawlocki; Grzegorz Marczynski; Piotr Kosiuczenko (CALCO, 2005)

A heterogeneous approach to service-oriented systems specification. - Alexander Knapp; Grzegorz Marczynski; Martin Wirsing; Artur Zawlocki (SAC, 2010)

Algebraic Signatures Enriched by Dependency Structure. - Grzegorz Marczynski (WADT, 2010)

Algebraic Constructions: A Simple Framework for Complex Dependencies and Parameterisation. - Grzegorz Marczynski; Donald Sannella; Andrzej Tarlecki (Int. J. Softw. Informatics, 2015)