%0 Journal Article
%A David Pereira
%A Nelma Moreira
%T KAT and PHL in Coq
%J Computer Science and Information Systems
%D 2008
%V 5
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2008_5_2_a9/
%F CSIS_2008_5_2_a9