"Towards Language Support for Distributed Systems" by Heather Miller