"Psi-Calculi in Isabelle."

Jesper Bengtson, Joachim Parrow, Tjark Weber (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics