Notes on skip lists