Add citations for definitions of memory leak and classes of gc algorithms