@article{jung_etal_iris_ground_up_2018,
 title = {Iris from the ground up: {A} modular foundation for higher-order concurrent separation logic},
 author = {Jung, Ralf and Krebbers, Robbert and Jourdan, Jacques-Henri and Bizjak, Ale\v{s} and Birkedal, Lars and Dreyer, Derek},
 year = {2018},
 journal = {Journal of Functional Programming},
 volume = {28},
 pages = {e20},
 doi = {10.1017/S0956796818000151}
}