%D 2006
%L eprints2559
%A Mirco Tribastone
%T The PEPA Plug-in project
%C London, UK