J. Fiadeiro, A. Lopes, and T. Maibaum. Algorithmic Languages and Calculi, volume 95 of IFIP Conference Proceedings, page 240-264. Chapman & Hall, (1997)
T. Lopes, S. Neto, and L. Picorelli. Computer Applications in the Automation of Shipyard Operation and Ship Design, volume B-5 of IFIP Transactions, page 285-296. North-Holland, (1991)