Intensional logics for programming /
Cerro, Luis Farinas Del.
Penttonen, Marti.
Oxford : Clarendon Press,
1992.