<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/firstName>	"Larissa" .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/name>	"Larissa Meinicke" .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Refinement algebra"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Atomicity refinement"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Probability"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Action systems"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/mbox_sha1sum>	"53ae0712a03370ea2fff8462894da61e" .
<https://data.archives-ouvertes.fr/author/881967>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://xmlns.com/foaf/0.1/Person> .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Kleene algebra"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/topic_interest>	"Data refinement"@en .
<https://data.archives-ouvertes.fr/author/881967>	<http://xmlns.com/foaf/0.1/familyName>	"Meinicke" .