https://sites.google.com/site/typetheorywithrecords/
https://sites.google.com/site/jonathanginzburgswebsite/
http://www.ling.gu.se/~cooper/records/
https://sites.google.com/site/saicdproject/