References

1. doi:10.1145/62212.62257.
2. doi:10.1007/978-94-015-9480-6.
3. doi:10.1007/s001530050173.
4. doi:10.1016/S0747-7171(88)80006-3.
5. doi:10.1007/978-94-011-5300-3.
6. doi:10.1017/CBO9780511551574.
7. doi:10.1016/S0022-4049(00)00169-9.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org