"Algebraic Specifications of Computing as a Service with Applications to ..."

Kenneth Johnson, John V. Tucker (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics