Reasoning with actions (1994)

by S B Lassen
Venue:Dept. of Computer Science, Univ. of Aarhus