Algebraic Specification of Communication Protocols Veltink, G. J. Mauw, S. 9780521088121 Cambridge Tracts in Theoretical Computer Science Heftet 11.12.2008 Engelsk Produseres på bestilling
