Abstract types in collaborative programs (2008)

by Gilles Peskine