@inproceedings{SCSS2014:Meaning_Formulas_Syntax_Based,
author = {William Farmer},
title = {Meaning Formulas for Syntax-Based Mathematical Algorithms},
booktitle = {SCSS 2014. 6th International Symposium on Symbolic Computation in Software Science},
editor = {Temur Kutsia and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {30},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xnX},
doi = {10.29007/zd7s},
pages = {10-11},
year = {2014}}