A generic program for sequential decision processes (1995)

by O de Moor
Venue:Programming Languages: Implementations, Logics, and Programs, number 982 in Lecture Notes in Computer Science