On Mereologies in Computing Science (2009)

by D Bjørner
Venue:In Festschrift for Tony Hoare, History of Computing