Embedding processes in a declarative programming language (2001)

by B Braßel, M Hanus, F Steiner
Venue:In Proc. Workshop on Programming Languages and Foundations of Programming