Nominal Sets in Agda - A Fresh and Immature Mechanization. - Miguel Pagano; José E. Solsona (LSFA, 2022)

On the specification and verification of the PCR parallel programming pattern in TLA+. - José E. Solsona (CLEI Electron. J., 2023)