Action semantics reasoning about functional programs (1997)

by S B Lassen
Venue:Mathematical Structures in Computer Science