Extensional constructs in intensional type theory
Martin Hofmann
Foundations of Software Science and Computational Structures
Prozessoptimierung als ganzheitlicher Ansatz
