Jeannette M. WingBooksData Science in ContextFM'99 - Formal MethodsFirst International Workshop on LarchAuthor data: Open Library