1. Verification of Sequential and Concurrent Programs;Apt,2009
2. Quantum nonlocality without entanglement;Bennett;Physical Review A,1999
3. Separability of very noisy mixed states and implications for NMR quantum computing;Braunstein;Physical Review Letters,1999
4. Concurrent separation logic;Brookes;ACM SIGLOC News,2016
5. Parallel Program Design: A Foundation;Chandy,1988