The World Wide Web Virtual Library: Formal Methods