diff --git a/AlgebraicDataflowArchitectureModel/models/RefBug.model b/AlgebraicDataflowArchitectureModel/models/RefBug.model
new file mode 100644
index 0000000..e421f6b
--- /dev/null
+++ b/AlgebraicDataflowArchitectureModel/models/RefBug.model
@@ -0,0 +1,19 @@
+init {
+	constant := 10
+	variable := 10
+	ans := 20
+}
+
+channel changeVar {
+	out variable(cur: Int, change(next: Int)) = next
+}
+
+channel changeConst {
+	out constant(const: Int, change(next: Int)) = next
+}
+
+channel calcAns {
+	in variable(curVar: Int, calc(const: Int, nextVar: Int)) = nextVar
+	ref constant(const: Int, calc(const: Int, var: Int))
+	out ans(curAns: Int, calc(const: Int, var: Int)) = var + const
+}