Probabilistic LCF (1978)

by N Saheb-Djahromi
Venue:In Mathematical Foundations Of Computer Science, number 64 in Lecture Notes In Computer Science