Proof, language, and interaction
Plotkin G., Stirling Colin P., Tofte Mads, Milner R.Kniha
Citace v seznamu literatury:
PLOTKIN, G.; STIRLING, Colin P.; TOFTE, Mads a MILNER, R. Proof, language, and interaction: essays in honour of Robin Milner. Foundations of computing. Cambridge, Mass.: MIT Press, 2000. ISBN 9780262281676. Dostupné také z: https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426.