%O Report 
%F kerboeuf99a
%A Kerboeuf, M.
%A Nowak, D.
%A Talpin, J.-P.
%T The steam-boiler problem in SIGNAL-COQ
%N 3773
%I Irisa / Inria-Rennes
%U ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3773.ps.gz
%8 October
%D 1999