Intl Workshop On Software Specification — Books & Reading Community