Christopher Colby Lalita Jategaonkar Jagadeesan Radha Jagadeesan Konstantin Läufer Carlos Puchol Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events. 58-67 1998 ICCL http://computer.org/proceedings/iccl/8454/84540058abs.htm db/conf/iccl/iccl1998.html#ColbyJJLP98