Some Facile Chemistry (1995)

by L Leth, B Thomsen
Venue:Formal Aspects of Computing