---
title: CafeOBJ Reference Manual
date: 2015-10-21 (v1.5.4)
author: Toshimi Sawada, Kokichi Futatsugi, Norbert Preining
bibliography: manual.bib
---

<!--
% \include{macros.gpp}

% \include{introduction.md}

% \include{overview.md}

% \include{cloudsync.md}

% \include{reference.md}
-->

