published in Proceedings of the 8th International Workshop on Software Specification and Design Journal