"A Compositional Comparison of Specifications of the Alternating Bit ..."

Martin Große-Rhode (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics