Books by Qld.) International Conference on Software Engineering and Formal Methods (1st 2003 Brisbane on BookTides.