Joel H. W. Weinberger -- Paper BibTeX
@inproceedings{ gordon07asm,
author = { Colin Gordon and Leo Meyerovich and Joel Weinberger and Shriram Krishnamurthi },
title = { Composition with Consistent Updates for Abstract State Machines },
booktitle = { Proc. of the International ASM Workshop, 2007 },
year = { 2007 },
}