added links to proof of queue and list implementations