by Skeirik, Stephen, Meseguer, José
Published in Journal of logical and algebraic methods in programming (01.04.2018)

by Sindoni, Giulia, Sano, Katsuhiko, Stell, John G.
Published in Journal of logical and algebraic methods in programming (01.08.2021)

by Hennicker, Rolf, Knapp, Alexander, Madeira, Alexandre
Published in Journal of logical and algebraic methods in programming (01.08.2021)

by Nishida, Naoki, Niwa, Minami
Published in Journal of Logical and Algebraic Methods in Programming (01.08.2021)

Published in Journal of logical and algebraic methods in programming (01.08.2023)

by Kreowski, Hans-Jörg, Rozenberg, Grzegorz
Published in Journal of logical and algebraic methods in programming (01.12.2019)

by Vassena, Marco, Russo, Alejandro, Buiras, Pablo, Waye, Lucas
Published in Journal of logical and algebraic methods in programming (01.02.2018)

by Wang, Rui, Kristensen, Lars Michael, Meling, Hein, Stolz, Volker
Published in Journal of logical and algebraic methods in programming (01.04.2019)

by Barkowsky, Matthias, Giese, Holger
Published in Journal of logical and algebraic methods in programming (01.08.2020)

by Lucas, Salvador, Meseguer, José
Published in Journal of logical and algebraic methods in programming (01.01.2016)

by Jipsen, Peter, Moshier, M. Andrew
Published in Journal of logical and algebraic methods in programming (01.06.2016)

by Kramer, R.L., Maddux, R.D.
Published in Journal of logical and algebraic methods in programming (01.12.2020)

by Bugliesi, Michele, Calzavara, Stefano, Focardi, Riccardo
Published in Journal of logical and algebraic methods in programming (01.02.2017)

by Bottoni, Paolo, De Nicola, Rocco, Gorla, Daniele
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Caltais, Georgiana, Tunç, Hünkar Can
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Published in Journal of logical and algebraic methods in programming (01.06.2021)

by Maarand, Hendrik, Uustalu, Tarmo
Published in Journal of logical and algebraic methods in programming (01.06.2021)

Published in Journal of logical and algebraic methods in programming (01.06.2023)

by de Gouw, Stijn, Mauro, Jacopo, Zavattaro, Gianluigi
Published in Journal of logical and algebraic methods in programming (01.10.2019)

by Marmsoler, Diego, Petrovska, Ana
Published in Journal of logical and algebraic methods in programming (01.01.2021)