Relational separation logic. submitted (2004)

by H Yang