Joining specification statements. Available from http://www.research.digital.com/SRC/personal/Rustan Leino/papers.html (1996)

by K R M Leino, R Manohar