<?xml version="1.0" encoding="UTF-8"?>
<b:Sources SelectedStyle="" xmlns:b="http://schemas.openxmlformats.org/officeDocument/2006/bibliography"  xmlns="http://schemas.openxmlformats.org/officeDocument/2006/bibliography" >
<b:Source>
<b:Tag>brucker.ea:hol-testgen:2010</b:Tag>
<b:SourceType>Report</b:SourceType>
<b:Publisher>ETH Zurich</b:Publisher>
<b:Year>2010</b:Year>
<b:Month>apr</b:Month>
<b:Issue>670</b:Issue>
<b:Author>
<b:Author><b:NameList>
<b:Person><b:Last>Brucker</b:Last><b:First>Achim</b:First><b:Middle>D</b:Middle></b:Person>
<b:Person><b:Last>Br&#252;gger</b:Last><b:First>Lukas</b:First></b:Person>
<b:Person><b:Last>Krieger</b:Last><b:First>Matthias</b:First><b:Middle>P</b:Middle></b:Person>
<b:Person><b:Last>Wolff</b:Last><b:First>Burkhart</b:First></b:Person>
</b:NameList></b:Author>
</b:Author>
<b:Title>HOL-TestGen 1.5.0 User Guide</b:Title>
</b:Source>
</b:Sources>