@inproceedings{7caf9850dc214a6c99b7666fcd7a32ea,
title = "Behaviour-preserving transformations in SHE: a formal approach to architecture design",
author = "J.P.M. Voeten and {Putten, van der}, P.H.A. and M.P.J. Stevens",
year = "1996",
language = "English",
isbn = "0-8186-7487-3",
pages = "19--27",
booktitle = "Proc. 22nd EUROMICRO Conference {"}Beyond 2000: Hardware/Software Design Strategies{"}",
publisher = "IEEE Computer Society",
address = "United States",
note = "22nd EUROMICRO Conference {"}Beyond 2000: Hardware/Software Design Strategies{"} ; Conference date: 01-01-1996",
}