IOA: A formalization of I/O automata in HOLCF

Author: Olaf Müller
Copyright 1997 Technische Universität München

The distribution contains: