Program algebra for sequential code

Authors	J.A. Bergstra M.E. Loots
Publication date	2002
Journal	The Journal of Logic and Algebraic Programming
Volume | Issue number	51 | 2
Pages (from-to)	125-156
Number of pages	32
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI)
Document type	Article
Published at	https://doi.org/10.1016/S1567-8326(02)00018-8
Permalink to this page