Perfect Number Theorem. - Mark IJbema (Arch. Formal Proofs, 2009)

Starvation-free mutual exclusion with semaphores. - Wim H. Hesselink; Mark IJbema (Formal Aspects Comput., 2013)