"Proving the Correctness of Simpson's 4-Slot ACM Using an Assertional ..."

Neil Henderson (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics