http://www.ics.uci.edu/~fielding/pubs/dissertation/top.htm
http://www.webdav.org/specs/
https://tools.ietf.org/html/rfc2518
Also the existence of WebDAV doesn't really demonstrate that merely adhering to REST will make your clients portable.