by Bergstra, Jan A., Ponse, Alban
Published in Acta informatica (01.10.2020)

by Jan A. Bergstra, Alban Ponse
Published in Logical methods in computer science (01.01.2021)

by Bergstra, Jan A., Ponse, Alban
Published in Software, Services, and Systems

by Bergstra, Jan A., Ponse, Alban
Published in Indagationes mathematicae (01.06.2016)

by Bergstra, Jan A., Ponse, Alban, Staudt, Daan J. C.
Published in Journal of applied non-classical logics (02.10.2021)

by Bergstra, Jan A., Ponse, Alban
Published in Correct System Design

by Bergstra, Jan A., Bethke, Inge, Ponse, Alban
Published in Journal of applied logic (01.06.2015)

by Ponse, Alban, Staudt, Daan J. C.
Published in Journal of applied non-classical logics (02.01.2018)

by Bethke, Inge, Ponse, Alban, Rodenburg, Piet H.
Published in Theoretical computer science (20.06.2011)

by Bethke, Inge, Ponse, Alban, Rodenburg, Piet H.
Published in Theoretical computer science (01.06.2011)

by Papuc, Dalia, Ponse, Alban
Year of Publication 17.03.2022

by Bergstra, Jan A., Ponse, Alban
Published in Recent Trends in Algebraic Development Techniques

by Bergstra, Jan A, Ponse, Alban
Year of Publication 28.04.2023

by Ponse, Alban, Staudt, Daan J. C
Year of Publication 21.03.2024

by Bergstra, Jan A, Ponse, Alban
Published in arXiv.org (17.02.2021)

by Papuc, Dalia, Ponse, Alban
Published in arXiv.org (17.03.2022)

by Bergstra, Jan A, Ponse, Alban
Published in arXiv.org (28.09.2023)

by Ponse, Alban, van der Zwaag, Mark B.
Published in Lecture notes in computer science (2006)

by Bergstra, Jan A., Ponse, Alban
Published in Fundamentals of Software Engineering

by Ponse, Alban, Staudt, Daan J C
Published in arXiv.org (21.03.2024)