Parameterized Algebraic Protocols. - Andreia Mordido; Janek Spaderna; Peter Thiemann 001; Vasco T. Vasconcelos (Proc. ACM Program. Lang., 2023)

AlgST. - Janek Spaderna; Peter Thiemann 001; Andreia Mordido; Vasco Thudichum Vasconcelos (Zenodo, 2023)