Books by International Workshop on Semantics of Specification Languages (1993 Utrecht, Netherlands) on BookTides.