Ebook Interactive Systems Design Specification And Verification 1St Eurographics Workshop Bocca Di Magra Italy June 1994