CHLIPALA, Adam. Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant. Cambridge, Massachusetts ; London : The MIT Press, [2013]. ©2013. ISBN 978-0-262-02665-9.

Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel.