@inproceedings{c7184c5485ef48fcb9e7ed0a310c432d,
title = "Hiding more of hidden algebra",
author = "Joseph Goguen and Grigore Ro{\c s}u",
year = "1999",
doi = "10.1007/3-540-48118-4_40",
language = "English (US)",
isbn = "3540665889",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "1704--1719",
editor = "Wing, {Jeannette M.} and Jim Woodcock and Jim Davies",
booktitle = "FM 1999 - Formal Methods - World Congress on Formal Methods in the Development of Computing Systems, Proceedings",
address = "Germany",
note = "1st World Congress on Formal Methods in the Development of Computing Systems, FM 1999 ; Conference date: 20-08-1999 Through 24-08-1999",
}