OOPSLA paper has appeared.