The REFSQ’09 proceedings will be published by Springer as a volume in the Lecture Notes in Computer Science series. Similarly, the REFSQ’08 proceedings was volume 5025 of this series. You can find information about LNCS 5025 or access the online version.