@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Kaisa_Sere	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Model_transformation	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Formal_methods	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Abstract_state_machine	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:B-Method	dbo:wikiPageWikiLink	dbr:Program_refinement .
<http://dbpedia.org/resource/FDR_(software)>	dbo:wikiPageWikiLink	dbr:Program_refinement .
<http://dbpedia.org/resource/Gavin_Lowe_(computer_scientist)>	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Formal_specification	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Transformation_language	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Wide-spectrum_language	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Design_by_contract	dbo:wikiPageWikiLink	dbr:Program_refinement .
<http://dbpedia.org/resource/Abstraction_(computer_science)>	dbo:wikiPageWikiLink	dbr:Program_refinement .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
dbr:Program_refinement	owl:sameAs	dbr:Program_refinement ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/Refinement_(computing)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/Refinement_(computing)> .
dbr:Predicative_programming	dbo:wikiPageWikiLink	dbr:Program_refinement .
<http://dbpedia.org/resource/Specification_(technical_standard)>	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Program_derivation	dbo:wikiPageWikiLink	dbr:Program_refinement .
<http://dbpedia.org/resource/Baherove_(air_base)>	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:List_of_programming_language_researchers	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Program_transformation	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Unifying_Theories_of_Programming	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Software_design	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Liskov_substitution_principle	dbo:wikiPageWikiLink	dbr:Program_refinement .
dbr:Refinement_calculus	dbo:wikiPageWikiLink	dbr:Program_refinement .