[isabelle] What article to refer?



I am writing an article which mentions Isabelle/ZF.

Question: Which publication to refer to directly after the first mention of Isabelle/ZF? I need some bibliography about Isabelle.

-- 
Victor Porton - http://portonvictor.org





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.